x86: properly use map_domain_page() during page table manipulation
authorJan Beulich <jbeulich@suse.com>
Wed, 23 Jan 2013 13:11:39 +0000 (14:11 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 23 Jan 2013 13:11:39 +0000 (14:11 +0100)
commitbad20150553601964143dff43d932accceba3e5e
tree7185f1c557326846a774513a38ae276d9e3e279a
parentb52f69ab85a35d6140ca5e8ec74240fb1e0a5e7e
x86: properly use map_domain_page() during page table manipulation

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/arch/x86/debug.c
xen/arch/x86/mm.c
xen/arch/x86/traps.c
xen/arch/x86/x86_64/compat/traps.c
xen/arch/x86/x86_64/mm.c
xen/arch/x86/x86_64/traps.c
xen/include/asm-x86/page.h